Scalability of Model Transformations: Position Paper and Benchmark Set

نویسندگان

  • Daniel Strüber
  • Timo Kehrer
  • Thorsten Arendt
  • Christopher Pietsch
  • Dennis Reuling
چکیده

As model transformations are often considered the “heart and soul” of Model-Driven Engineering (MDE), the scalability of model transformations is vital for the scalability of MDE approaches as a whole. The existing research on scalable transformations has largely focused on performance behavior if the involved input models grow in size. In this work, we address a second key dimension for the practical scalability of model transformations: The effect as the transformation specification itself grows larger. We outline a number of challenges related to large model transformations, specifically affecting the quality concerns maintainability and performance. We introduce three model transformation benchmarks and discuss how they are affected by these challenges. The transformation rule sets in these benchmarks have acted as an evaluation basis in our previous work. Our objective is to establish a community benchmark set to compare model transformation approaches with respect to the aforementioned quality concerns.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations

With the growing size and complexity of systems under design, industry needs a generation of Model-Driven Engineering (MDE) tools, especially model query and transformation, with the proven capability to handle large-scale scenarios. While researchers are proposing several technical solutions in this sense, the community lacks a set of shared scalability benchmarks, that would simplify quantita...

متن کامل

The TTC 2015 Train Benchmark Case for Incremental Model Validation

In model-driven development of safety-critical systems (like automotive, avionics or railways), wellformedness of models is repeatedly validated in order to detect design flaws as early as possible. Validation rules are often implemented by a large amount of imperative model traversal code which makes those rule implementations complicated and hard to maintain. Additionally as models are rapidl...

متن کامل

presentation of a two stages method to determine the suitable benchmark and return to scale (case study: girls high school of one zone shiraz city)

In this paper, a two stages method to determine suitable benchmark and return scale of the decision making units set is presented. At first, all of the efficient reference set in no radial data envelopment analysis (DEA) based on linear programming is found. first, RAM model is introduced and units is investigated using this model, then, to run the given algorithm below steps is performed. At t...

متن کامل

Synchronous logic synthesis: algorithms for cycle-time minimization

This paper presents a new approach to logic synthesis of digital synchronous circuits. We present a model for synchronous circuits that supports logic transformations aimed at optimizing the circuit performance. Previous synthesis approaches attacked this problem by separating the combinational logic from the registers and by applying circuit transformations to the combinational component only....

متن کامل

Efficient OCL-based Incremental Transformations

Active operations have recently been shown to be a possible back-end to implement OCL-based incremental model transformations. However, the scalability of this approach had not been evaluated yet. This paper presents work done to address this issue by leveraging the VIATRA CPS Benchmark. We show that our implementation of the benchmark transformation using the Active Operation Framework scales ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016